Issue3090-rparen.agda:4,23-23
Issue3090-rparen.agda:4,23: in the name ), the part ) is not valid because it is used to parenthesize expressions
#-}<ERROR>


-- Should fail with a parse ...
